Denotational semantics of an object-oriented programming language with explicit wrappers
نویسندگان
چکیده
منابع مشابه
Denotational Semantics of a Parallel Object-Oriented Language
A denotational model is presented for the language POOL, a parallel objectoriented language. It is a syntactically simplified version of POOL-T, a language that is actually used to write programs for a parallel machine. The most important aspect of this language is that it describes a system as a collection of communicating objects that all have internal activities which are executed in paralle...
متن کاملGame semantics for an object-oriented language
This thesis investigates the relationship between object-oriented programming languages and game models of computation. These are intuitively well matched: an object encapsulates some internal state and presents some behaviour to the world via its publicly visible methods, while a strategy for some game represents the possible interactions of a program with its environment. We work with a simpl...
متن کاملSemantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defined as the collection of translation rules that map the syntactic constructions of the language into expressions in a process calculus extended with the notion of time. By using the expressive capabilities of the calcu...
متن کاملSemantics for a Real-Time Object-Oriented Programming Language
Writer def = new Writer :getid(i):id Writer (i):(ClassDec 0 Writer j run:(LocY j (t stat) :idle:Body 0 Writer;i)) n LY Body 0 Writer;i def = calli;start(j):(LocX jwriteX(j):run:reti;start(true): (t stat) :idle: run:(hcallj;put(^ 1):retj;put(x):reply(x):0 ; abort:0i3 j hreply(y):writeY (y): (t stat) :idle: 1 1 1 1 1 1Body 0 Writer;i ; reply(y):0 + abort:0 j write Y (error): (t stat) :idle: 1 1 1...
متن کاملDenotational Semantics of A User-Oriented, Domain-Specific Language
This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1993
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf01211554